An Effective Axiomatization for Real Time ACP
نویسندگان
چکیده
Baeten and Bergstra added real time to ACP, and introduced the notion of integration, which expresses the possibility of an action happening within a time interval. In order to axiomatize this feature, they needed anùncountable' axiom. This paper deals with preex integration, and integration is parametrized by conditions, which are inequalities between linear expressions of variables. We present an axiomatization for process terms, and propose a strategy to decide bisimulation equivalence between process terms, by means of this axiomatization.
منابع مشابه
An algebra of reversible computation
We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.
متن کاملCharacterization and axiomatization of all semigroups whose square is group
In this paper we give a characterization for all semigroups whose square is a group. Moreover, we axiomatize such semigroups and study some relations between the class of these semigroups and Grouplikes,introduced by the author. Also, we observe that this paper characterizes and axiomatizes a class of Homogroups (semigroups containing an ideal subgroup). Finally, several equivalent conditions ...
متن کاملProcess Algebra with Timing Real Time and Discrete Time
We present real time and discrete time versions of ACP with absolute timing and relative timing The starting point is a new real time version with absolute timing called ACPsat featuring urgent actions and a delay operator The discrete time versions are conservative extensions of the discrete time versions of ACP being known as ACPdat and ACPdrt The principal version is an extension of ACPsat w...
متن کاملA Complete Axiomatization of Real-Time Processes
Once strictly the province of assembly-language programmers, real-time computing has developed into an area of important theoretical interest. Real-time computing incorporates all of the theoretical problems encountered in concurrent processing and introduces the additional complexity of accounting for the temporal behavior of processes. In this paper we investigate two problems in the theory o...
متن کاملAn Axiomatization for Quantum Processes to Unifying Quantum and Classical Computing
We establish an axiomatization for quantum processes, which is a quantum generalization of process algebra ACP (Algebra of Communicating Processes). We use the framework of a quantum process configuration 〈p, %〉, but we treat it as two relative independent part: the structural part p and the quantum part %, because the establishment of a sound and complete theory is dependent on the structural ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 122 شماره
صفحات -
تاریخ انتشار 1995